- axiomatics
- аксиоматика- informal axiomatics
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
axiomatics — noun The study of all the axioms associated with a particular subject … Wiktionary
axiomatics — ax·i·o·mat·ics … English syllables
axiomatics — d.iks, tiks, ēks noun plural but singular in construction 1. : a set of axioms : an axiomatized system 2. : the study or a theory of axioms or axiom systems * * * axiomatˈics singular noun The study of axioms and axiom systems • • • Main Entry:… … Useful english dictionary
Boolean algebra (structure) — For an introduction to the subject, see Boolean algebra#Boolean algebras. For the elementary syntax and axiomatics of the subject, see Boolean algebra (logic). For an alternative presentation, see Boolean algebras canonically defined. In abstract … Wikipedia
Thermodynamics — Annotated color version of the original 1824 Carnot heat engine showing the hot body (boiler), working body (system, steam), and cold body (water), the letters labeled according to the stopping points in Carnot cycle … Wikipedia
Inversive geometry — Not to be confused with Inversive ring geometry. In geometry, inversive geometry is the study of those properties of figures that are preserved by a generalization of a type of transformation of the Euclidean plane, called inversion. These… … Wikipedia
XACML — stands for eXtensible Access Control Markup Language . It is a declarative access control policy language implemented in XML and a processing model, describing how to interpret the policies. It is a replacement for IBM s XML access control… … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Quasi-set theory — is a formal mathematical theory of collections of indistinguishable objects, mainly motivated by the assumption that certain objects treated in quantum physics are indistinguishable. Quasi set theory is closely related to, yet distinct from,… … Wikipedia
Temperature — This article is about the thermodynamic property. For other uses, see Temperature (disambiguation). A map of global long term monthly average surface air temperatures i … Wikipedia
Greek arithmetic, geometry and harmonics: Thales to Plato — Ian Mueller INTRODUCTION: PROCLUS’ HISTORY OF GEOMETRY In a famous passage in Book VII of the Republic starting at Socrates proposes to inquire about the studies (mathēmata) needed to train the young people who will become leaders of the ideal… … History of philosophy